negative (a implies b) gate

负(A蕴含B)闸